21. Propositional and predicate calculus

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Propositional calculus ; Problems, exercises, etc. ; Predicate calculus ; Problems, exercises, etc. ;

22. Propositional and predicate calculus: a model of argument

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع: Propositional calculus,Predicate calculus,-- Problems, exercises, etc,-- Problems, exercises, etc

رده :
511
.
3
G621P
2005

23. The Semantics and Proof Theory of the Logic of Bunched Implications

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Logic.,Philosophy (General).

24. Universal Algebra, Algebraic Logic, and Databases

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Algebra, Universal.,Algebraic logic.,Databases.

رده :
QA251
.
B937
1994

25. Veracity of big data :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer algorithms.,Data editing.,Data integrity.,Databases-- Evaluation.,Verification (Logic)-- Computer programs.,Artificial intelligence.,Computer algorithms.,COMPUTERS-- General.,Data editing.,Data integrity.,Databases-- Evaluation.,Databases.

رده :
QA76
.
9
.
A43